4.5 帰納法を改善する